No . Cs - 250 Program Schemas with Equality by Ashok K . Chandra Zoh ^ R Manna Sponsored by Advanced Research Projects Agency Arpa
نویسندگان
چکیده
منابع مشابه
Correspondence in Line Drawings of Multiple Views of Objects
This research was sponsored by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 3597, monitored by the Air Force Avionics Laboratory Under Contract F33615-81 -K-1539. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the Defense Advanced Research Pr...
متن کاملDURRA : A Task-Level Description Language
This research is carried out jointly by the Software Engineering Institute, a Federally Funded Research and Development Center, sponsored by the Department of Defense, and by the Department of Computer Science, sponsored by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 4976, monitored by the Air Force Avionics Laboratory Under Contract F33615-84-K-1520. Additional support ...
متن کاملSynchronizing shared abstract data types
This paper discusses the synchronization issues that arise when transaction facilities are extended for use with shared abstract data types. A formalism for specifying the concurrency properties of such types is developed, based on dependency relations that arc defined in terms of an abstract type's operations. The formalism requires that the specification of an abstract type state whether or n...
متن کاملStanford Artifical Intelligence Project Memoaim-167 Stan-cs-72-282 Efficient Compilation of Linear Recursive Programs
We consider the class of linear recursive programs. A linear recursive program is a set of procedures where each procedure can make at most one recursive call. The conventional stack implementation of recursion requires time and space both proportional to n, the depth of recursion. It is shown that in order to implement linear recursion so as to execute in time n one doesn't need space proporti...
متن کاملRepresentation of Task-Specific Knowledge in a Gracefully Interacting User Interface
Command interfaces to current interactive systems often appear inflexible and unfriendly to casual and expert users alike. We are constructing an interface that will behave more cooperatively (by correcting spelling and grammatical errors, asking the user to resolve ambiguities in subparts of commands, etc.). Given that present-day interfaces often absorb a major portion of implementation effor...
متن کامل